
add_executable(test_cfg "test_cfg.cpp")
target_link_libraries(test_cfg otawa ${LIBELM})
